Arithmetic, enumerative induction and size bias

نویسندگان

چکیده

Abstract Number theory abounds with conjectures asserting that every natural number has some arithmetic property. An example is Goldbach’s Conjecture, which states even greater than 2 the sum of two primes. Enumerative inductive evidence for such usually consists small cases. In absence supporting reasons, mathematicians mistrust arithmetical generalisations, more so most other forms non-deductive evidence. Some philosophers have also expressed scepticism about value enumerative in arithmetic. But why? Perhaps best argument known instances an conjecture are almost always small: they appear at start sequence. Evidence this kind consequently suffers from size bias. My essay shows sort comes many different flavours, raises challenges them all, and explores their respective responses.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Enumerative Induction and Lawlikeness

The paper is based on ranking theory, a theory of degrees of disbelief (and hence belief). On this basis, it explains enumerative induction, the confirmation of a law by its positive instances, which may indeed take various schemes. It gives a ranking theoretic explication of a possible law or a nomological hypothesis. It proves, then, that such schemes of enumerative induction uniquely corresp...

متن کامل

Transfinite Induction within Peano Arithmetic

The relative strengths of first-order theories axiomatized by transfinite induction, for ordinals less-than ~0, and formulas restricted in quantifier complexity, is determined. This is done, in part, by describing the provably recursive functions of such theories. Upper bounds for the provably recursive functions are obtained using model-theoretic techniques. A variety of additional results tha...

متن کامل

Dynamic-Bias Induction

A tradeoff exists between the range of learning tasks solved by an induction system, and its performance on those tasks. We propose dynamic-bias induction, an approach in which bias is dynamically constructed as a function of the learning task. This admits the possibility of a high performance inductive learner that applies to a wide range of learning tasks. We assess the benefits and limitatio...

متن کامل

Size Matters. Does Bias?

Most empirical disciplines promote the reuse and sharing of datasets, as it leads to greater possibility of replication. While this is increasingly the case in Empirical Software Engineering, some of the most popular bug-fix datasets are now known to be biased. This raises two significants concerns: first, that sample bias may lead to underperforming prediction models, and second, that the exte...

متن کامل

The Induction and Transfer of Declarative Bias

People constantly apply acquired knowledge to new learning tasks, but machines almost never do. Research on transfer learning attempts to address this dissimilarity. Working within this area, we report on a procedure that learns and transfers constraints in the context of inductive process modeling, which we review. After discussing the role of constraints in model induction, we describe the le...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Synthese

سال: 2021

ISSN: ['0039-7857', '1573-0964']

DOI: https://doi.org/10.1007/s11229-021-03198-1